doc.dtx

---